41![Statistical Relational Learning with Soft Quantifiers Golnoosh Farnadi1,2 , Stephen H. Bach3 , Marjon Blondeel4 , Marie-Francine Moens2 , Lise Getoor5 , and Martine De Cock1,6 1 Dept. of Applied Mathematics, Computer Sc Statistical Relational Learning with Soft Quantifiers Golnoosh Farnadi1,2 , Stephen H. Bach3 , Marjon Blondeel4 , Marie-Francine Moens2 , Lise Getoor5 , and Martine De Cock1,6 1 Dept. of Applied Mathematics, Computer Sc](https://www.pdfsearch.io/img/43af1e1b838188d8964e06362bbbcfd3.jpg) | Add to Reading ListSource URL: stephenbach.netLanguage: English - Date: 2015-09-22 18:21:56
|
---|
42![Empirical Issues in Syntax and Semantics 8 O. Bonami & P. Cabredo Hofherr (eds, pp. 123–141 http://www.cssp.cnrs.fr/eiss8 Expressive Modifiers & Mixed Expressives Empirical Issues in Syntax and Semantics 8 O. Bonami & P. Cabredo Hofherr (eds, pp. 123–141 http://www.cssp.cnrs.fr/eiss8 Expressive Modifiers & Mixed Expressives](https://www.pdfsearch.io/img/b5ebbd45e028bca71b8759bd6e5326f6.jpg) | Add to Reading ListSource URL: www.cssp.cnrs.frLanguage: English - Date: 2011-02-21 12:14:18
|
---|
43![No complete linear term rewriting system for propositional logic Anupam Das and Lutz Straßburger Abstract Recently it has been observed that the set of all sound linear inference rules in propositional No complete linear term rewriting system for propositional logic Anupam Das and Lutz Straßburger Abstract Recently it has been observed that the set of all sound linear inference rules in propositional](https://www.pdfsearch.io/img/111dcd57531b7a643d2790de4fd4d938.jpg) | Add to Reading ListSource URL: www.lix.polytechnique.frLanguage: English - Date: 2015-03-23 07:14:32
|
---|
44![Types and Type-Free λ-Calculus Dana S. Scott, FBA, FNAS University Professor Emeritus Carnegie Mellon University Visiting Scholar Types and Type-Free λ-Calculus Dana S. Scott, FBA, FNAS University Professor Emeritus Carnegie Mellon University Visiting Scholar](https://www.pdfsearch.io/img/91610ae928f55b52c555d3b9ab361782.jpg) | Add to Reading ListSource URL: www1.maths.leeds.ac.ukLanguage: English - Date: 2016-06-16 11:50:12
|
---|
45![Grounding Geographic Information Simon Scheider, Anusuriya Devaraju, Krzysztof Janowicz, Patrick Maue, Sven Schade, Carsten Keßler, Jens Ortmann, Mohamed Bishr, Tonio Fincke, Tobias Weigel and Werner Kuhn Institute for Grounding Geographic Information Simon Scheider, Anusuriya Devaraju, Krzysztof Janowicz, Patrick Maue, Sven Schade, Carsten Keßler, Jens Ortmann, Mohamed Bishr, Tonio Fincke, Tobias Weigel and Werner Kuhn Institute for](https://www.pdfsearch.io/img/f898337118c823153d167acdb9fcca5d.jpg) | Add to Reading ListSource URL: carsten.ioLanguage: English - Date: 2013-09-07 23:22:39
|
---|
46![Towards Automatic Discovery of Deviations in Binary Implementations with Applications to Error Detection and Fingerprint Generation David Brumley, Juan Caballero, Zhenkai Liang, James Newsome, Dawn Song Carnegie Mellon U Towards Automatic Discovery of Deviations in Binary Implementations with Applications to Error Detection and Fingerprint Generation David Brumley, Juan Caballero, Zhenkai Liang, James Newsome, Dawn Song Carnegie Mellon U](https://www.pdfsearch.io/img/c58eb4b162acfa6ad52272291cda4bc6.jpg) | Add to Reading ListSource URL: users.ece.cmu.eduLanguage: English - Date: 2014-05-29 15:38:01
|
---|
47![WP 1.0
WP Plug-in Manual Version 1.0 for Frama-C Aluminium Patrick Baudin, François Bobot, Loïc Correnson, Zaynah Dargaye WP 1.0
WP Plug-in Manual Version 1.0 for Frama-C Aluminium Patrick Baudin, François Bobot, Loïc Correnson, Zaynah Dargaye](https://www.pdfsearch.io/img/53c64569b961580749bf94bec077fea8.jpg) | Add to Reading ListSource URL: frama-c.comLanguage: English - Date: 2016-06-01 04:33:34
|
---|
48![InfoTraffic – Teaching Important Concepts of Computer Science and Math through Real-World Examples Ruedi Arnold Marc Langheinrich InfoTraffic – Teaching Important Concepts of Computer Science and Math through Real-World Examples Ruedi Arnold Marc Langheinrich](https://www.pdfsearch.io/img/7b14774cbcdaf5f4c2b31097de76ae7a.jpg) | Add to Reading ListSource URL: ruedi-arnold.comLanguage: English - Date: 2011-12-23 03:25:33
|
---|
49![Verified Squared: Does Critical Software Deserve Verified Tools? Xavier Leroy ∗ INRIA Paris-Rocquencourt Verified Squared: Does Critical Software Deserve Verified Tools? Xavier Leroy ∗ INRIA Paris-Rocquencourt](https://www.pdfsearch.io/img/c828ac017d3e311e3ed4e3c2ffc6ce84.jpg) | Add to Reading ListSource URL: pauillac.inria.frLanguage: English - Date: 2010-12-29 13:37:29
|
---|
50![An Applied Ontology for Semantics Associated with Surface Water Features Dalia E. Varanka E. Lynn Usery U.S. Geological Survey An Applied Ontology for Semantics Associated with Surface Water Features Dalia E. Varanka E. Lynn Usery U.S. Geological Survey](https://www.pdfsearch.io/img/5befc2ad096be8df85c2a32d481d268c.jpg) | Add to Reading ListSource URL: cegis.usgs.govLanguage: English - Date: 2014-12-15 16:23:10
|
---|